Details

Time bar (total: 11.6s)

sample27.0ms

Algorithm
intervals
Results
14.0ms327×body80valid

simplify813.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08164
122164
244164
3113164
4372164
51323164
done5000164

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.6b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (+ (- y z) 1.0))
6.2b
(/ (* x (+ (- y z) 1.0)) z)

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
9×add-cbrt-cube add-exp-log
8×add-sqr-sqrt
6×add-cube-cbrt
5×associate-*r*
4×pow1 associate-*r/
3×associate-/r* times-frac associate-*l*
2×cbrt-undiv flip3-+ div-exp prod-exp cbrt-unprod flip-+ distribute-lft-out add-log-exp associate-/l/
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in pow-prod-down *-commutative div-inv associate-/l* distribute-lft-out-- unswap-sqr
Counts
2 → 47
Calls
2 calls:
84.0ms
(* x (+ (- y z) 1.0))
54.0ms
(/ (* x (+ (- y z) 1.0)) z)

series90.0ms

Counts
2 → 6
Calls
2 calls:
41.0ms
(* x (+ (- y z) 1.0))
49.0ms
(/ (* x (+ (- y z) 1.0)) z)

simplify1.4s

Counts
53 → 53
Iterations

Useful iterations: done (1.4s)

IterNodesCost
09411239
127210453
2124510053
done50019893

prune255.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ z (+ (- y z) 1.0))
3.3b
(/ x (/ z (+ (- y z) 1.0)))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
150×*-un-lft-identity
138×times-frac
70×add-sqr-sqrt add-cube-cbrt
32×distribute-lft-out
26×associate-/r*
16×distribute-lft-out--
11×associate-/r/
9×add-cbrt-cube add-exp-log
6×div-inv associate-/l*
5×flip3-+ flip-+
4×cbrt-undiv div-exp
2×pow1 clear-num frac-2neg add-log-exp
Counts
2 → 139
Calls
2 calls:
48.0ms
(/ z (+ (- y z) 1.0))
49.0ms
(/ x (/ z (+ (- y z) 1.0)))

series111.0ms

Counts
2 → 6
Calls
2 calls:
60.0ms
(/ z (+ (- y z) 1.0))
50.0ms
(/ x (/ z (+ (- y z) 1.0)))

simplify1.5s

Counts
145 → 145
Iterations

Useful iterations: done (1.5s)

IterNodesCost
020052041
152247124
2256546151
done500146031

prune640.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ z (+ (- y z) 1.0))
0.2b
(/ 1 (/ (/ z (+ (- y z) 1.0)) x))
3.4b
(/ (/ z (+ (- y z) 1.0)) x)

rewrite233.0ms

Algorithm
rewrite-expression-head
Rules
771×times-frac
595×*-un-lft-identity
335×add-sqr-sqrt add-cube-cbrt
104×distribute-lft-out
75×associate-/r*
52×distribute-lft-out--
35×associate-/r/
31×add-exp-log
27×associate-/l*
23×div-inv
19×add-cbrt-cube div-exp
17×flip3-+ flip-+
10×cbrt-undiv
4×pow1
3×rec-exp clear-num frac-2neg 1-exp add-log-exp
1×pow-flip inv-pow associate-/l/
Counts
3 → 435
Calls
3 calls:
46.0ms
(/ z (+ (- y z) 1.0))
72.0ms
(/ 1 (/ (/ z (+ (- y z) 1.0)) x))
82.0ms
(/ (/ z (+ (- y z) 1.0)) x)

series174.0ms

Counts
3 → 9
Calls
3 calls:
64.0ms
(/ z (+ (- y z) 1.0))
44.0ms
(/ 1 (/ (/ z (+ (- y z) 1.0)) x))
65.0ms
(/ (/ z (+ (- y z) 1.0)) x)

simplify1.6s

Counts
444 → 444
Iterations

Useful iterations: done (1.6s)

IterNodesCost
0514218521
11474178280
done5000173686

prune1.4s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize9.0ms

Local error

Found 1 expressions with local error:

10.3b
(* (/ x z) (+ (- y z) 1.0))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt *-un-lft-identity
13×associate-*l*
10×times-frac
9×add-cube-cbrt
6×add-cbrt-cube add-exp-log
5×associate-*r*
3×pow1
2×frac-times flip3-+ prod-exp associate-*r/ cbrt-unprod flip-+ distribute-lft-out unswap-sqr
1×distribute-rgt-in cbrt-undiv distribute-lft-in div-exp pow-prod-down associate-*l/ *-commutative div-inv distribute-lft-out-- add-log-exp
Counts
1 → 40
Calls
1 calls:
96.0ms
(* (/ x z) (+ (- y z) 1.0))

series58.0ms

Counts
1 → 3
Calls
1 calls:
58.0ms
(* (/ x z) (+ (- y z) 1.0))

simplify1.4s

Counts
43 → 43
Iterations

Useful iterations: 2 (418.0ms)

IterNodesCost
09411235
134610340
2158110059
done500010059

prune201.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes371.0ms

Accuracy

93.1% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 3.2b

bsearch76.0ms

Steps
ItersRangePoint
7
261980.93535209994
64260609.3427585
1900831.6503251614
6
-1.4629177654371592e+55
-1.4283835655938964e+54
-2.0018626689486827e+54

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
016506
121506
done21506

end0.0ms

sample828.0ms

Algorithm
intervals
Results
475.0ms10107×body80valid