Details

Time bar (total: 10.9s)

sample52.0ms

Algorithm
intervals
Results
15.0ms256×pre80true
15.0ms256×body80valid

simplify570.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
12215
24115
35515
48915
515615
636015
done500015

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* (* x y) (* x y)) 1.0)
0.4b
(/ (- (* x y) 1.0) (- (* (* x y) (* x y)) 1.0))
0.5b
(- (* x y) 1.0)
0.5b
(* (* x y) (* x y))

rewrite263.0ms

Algorithm
rewrite-expression-head
Rules
43×pow1
18×add-sqr-sqrt add-cbrt-cube add-exp-log
17×pow-prod-down
13×*-un-lft-identity add-cube-cbrt
12×times-frac
prod-exp cbrt-unprod add-log-exp
difference-of-squares
associate-/r* flip3-- pow-sqr pow-prod-up flip--
associate-/l*
sub-neg pow-plus diff-log associate-/r/ associate-/l/
pow2 cbrt-undiv clear-num frac-2neg div-sub swap-sqr div-exp associate-*r* associate-*l* *-commutative div-inv
Counts
4 → 95
Calls
4 calls:
61.0ms
(- (* (* x y) (* x y)) 1.0)
127.0ms
(/ (- (* x y) 1.0) (- (* (* x y) (* x y)) 1.0))
16.0ms
(- (* x y) 1.0)
53.0ms
(* (* x y) (* x y))

series367.0ms

Counts
4 → 12
Calls
4 calls:
102.0ms
(- (* (* x y) (* x y)) 1.0)
146.0ms
(/ (- (* x y) 1.0) (- (* (* x y) (* x y)) 1.0))
57.0ms
(- (* x y) 1.0)
62.0ms
(* (* x y) (* x y))

simplify1.7s

Counts
107 → 107
Iterations

Useful iterations: done (1.7s)

IterNodesCost
01421603
13771448
218711314
done50021312

prune584.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ (- (* x y) 1.0) (+ (* x y) (sqrt 1.0))) (- (* x y) (sqrt 1.0)))
0.4b
(/ (- (* x y) 1.0) (+ (* x y) (sqrt 1.0)))
0.5b
(- (* x y) 1.0)
0.5b
(- (* x y) (sqrt 1.0))

rewrite205.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac
56×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×associate-/l*
12×associate-/r/
11×add-cbrt-cube add-exp-log
add-log-exp
associate-/r* div-inv
flip3-+ flip-+
pow1 cbrt-undiv flip3-- div-exp flip--
div-sub associate-/l/
clear-num sub-neg frac-2neg diff-log
Counts
4 → 137
Calls
4 calls:
97.0ms
(/ (/ (- (* x y) 1.0) (+ (* x y) (sqrt 1.0))) (- (* x y) (sqrt 1.0)))
66.0ms
(/ (- (* x y) 1.0) (+ (* x y) (sqrt 1.0)))
15.0ms
(- (* x y) 1.0)
17.0ms
(- (* x y) (sqrt 1.0))

series914.0ms

Counts
4 → 12
Calls
4 calls:
382.0ms
(/ (/ (- (* x y) 1.0) (+ (* x y) (sqrt 1.0))) (- (* x y) (sqrt 1.0)))
379.0ms
(/ (- (* x y) 1.0) (+ (* x y) (sqrt 1.0)))
58.0ms
(- (* x y) 1.0)
95.0ms
(- (* x y) (sqrt 1.0))

simplify3.1s

Counts
149 → 149
Iterations

Useful iterations: done (3.1s)

IterNodesCost
02573977
17523726
241763536
done50023526

prune1.0s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

regimes265.0ms

Accuracy

0% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 0.4b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01019
11219
done1219

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.1s8000×body80valid
254.0ms8000×pre80true