Details

Time bar (total: 8.9s)

sample27.0ms

Algorithm
intervals
Results
12.0ms338×body80valid

simplify3.2s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0911
12711
27411
315811
424311
529911
635111
748111
898411
9362711
done500011

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 16.5b

Counts
2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (* z z) (+ z 1.0))
16.0b
(/ (* x y) (* (* z z) (+ z 1.0)))

rewrite21.0ms

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

series21.0ms

Counts
2 → 6
Calls
2 calls:
6.0ms
(* (* z z) (+ z 1.0))
15.0ms
(/ (* x y) (* (* z z) (+ z 1.0)))

simplify889.0ms

Counts
57 → 57
Iterations

Useful iterations: 2 (251.0ms)

IterNodesCost
0112858
1369788
21986626
done5000626

prune80.0ms

Filtered
32 candidates to 57 candidates (-78.1%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New49857
Fresh000
Picked101
Done000
Total50858

Merged error: 7.9b

Counts
58 → 8

localize7.0ms

Local error

Found 2 expressions with local error:

5.6b
(* (/ x (* z z)) (/ y (+ z 1.0)))
8.6b
(/ x (* z z))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
28×add-exp-log add-cbrt-cube
24×add-sqr-sqrt
22×times-frac
20×*-un-lft-identity
18×associate-*r*
14×add-cube-cbrt
9×cbrt-undiv div-exp prod-exp cbrt-unprod
7×associate-*l*
4×pow1 unswap-sqr
3×div-inv distribute-lft-out associate-/l*
2×associate-/r/ add-log-exp
1×frac-times frac-2neg flip3-+ associate-*r/ pow-prod-down associate-*l/ clear-num associate-/r* *-commutative flip-+
Counts
2 → 74
Calls
2 calls:
14.0ms
(* (/ x (* z z)) (/ y (+ z 1.0)))
5.0ms
(/ x (* z z))

series19.0ms

Counts
2 → 6
Calls
2 calls:
14.0ms
(* (/ x (* z z)) (/ y (+ z 1.0)))
5.0ms
(/ x (* z z))

simplify782.0ms

Counts
80 → 80
Iterations

Useful iterations: 2 (300.0ms)

IterNodesCost
01501125
14611059
21887893
done5000893

prune120.0ms

Filtered
52 candidates to 80 candidates (-53.8%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New74680
Fresh437
Picked101
Done000
Total79988

Merged error: 0.3b

Counts
88 → 9

localize9.0ms

Local error

Found 2 expressions with local error:

1.9b
(* (/ 1 z) (* (/ x z) (/ y (+ z 1.0))))
3.4b
(* (/ x z) (/ y (+ z 1.0)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
91×add-exp-log
55×add-cbrt-cube
40×prod-exp
36×add-sqr-sqrt
34×times-frac
30×*-un-lft-identity div-exp
26×associate-*l*
24×add-cube-cbrt
22×cbrt-unprod
19×associate-*r*
17×cbrt-undiv
9×pow1
6×frac-times associate-*r/
5×rec-exp 1-exp
4×pow-prod-down associate-*l/ unswap-sqr
3×div-inv distribute-lft-out
2×associate-/r/ *-commutative add-log-exp
1×flip3-+ flip-+
Counts
2 → 116
Calls
2 calls:
18.0ms
(* (/ 1 z) (* (/ x z) (/ y (+ z 1.0))))
14.0ms
(* (/ x z) (/ y (+ z 1.0)))

series24.0ms

Counts
2 → 6
Calls
2 calls:
11.0ms
(* (/ 1 z) (* (/ x z) (/ y (+ z 1.0))))
12.0ms
(* (/ x z) (/ y (+ z 1.0)))

simplify1.1s

Counts
122 → 122
Iterations

Useful iterations: 2 (448.0ms)

IterNodesCost
02282044
17281808
226051446
done50011446

prune137.0ms

Filtered
72 candidates to 122 candidates (-69.4%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1193122
Fresh358
Picked011
Done000
Total1229131

Merged error: 0.0b

Counts
131 → 9

localize8.0ms

Local error

Found 3 expressions with local error:

1.8b
(/ (/ (* (/ y (+ z 1.0)) x) z) z)
3.1b
(/ (* (/ y (+ z 1.0)) x) z)
3.8b
(* (/ y (+ z 1.0)) x)

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
49×times-frac
36×*-un-lft-identity
35×add-sqr-sqrt
31×add-exp-log add-cbrt-cube
30×add-cube-cbrt
18×associate-*l*
13×cbrt-undiv div-exp
8×associate-/l*
7×div-inv
6×prod-exp associate-/r* cbrt-unprod
5×pow1
3×associate-*r* distribute-lft-out add-log-exp
2×frac-2neg associate-*l/ clear-num associate-/r/ associate-/l/ unswap-sqr
1×flip3-+ pow-prod-down *-commutative flip-+
Counts
3 → 111
Calls
3 calls:
12.0ms
(/ (/ (* (/ y (+ z 1.0)) x) z) z)
9.0ms
(/ (* (/ y (+ z 1.0)) x) z)
12.0ms
(* (/ y (+ z 1.0)) x)

series36.0ms

Counts
3 → 9
Calls
3 calls:
13.0ms
(/ (/ (* (/ y (+ z 1.0)) x) z) z)
12.0ms
(/ (* (/ y (+ z 1.0)) x) z)
11.0ms
(* (/ y (+ z 1.0)) x)

simplify1.1s

Counts
120 → 120
Iterations

Useful iterations: 2 (444.0ms)

IterNodesCost
02111811
15621736
221531504
done50001504

prune128.0ms

Filtered
85 candidates to 120 candidates (-41.2%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1173120
Fresh347
Picked101
Done011
Total1218129

Merged error: 0b

Counts
129 → 8

regimes307.0ms

Accuracy

51.6% (1.3b remaining)

Error of 1.3b against oracle of 0.0b and baseline of 2.7b

bsearch2.0ms

simplify12.0ms

Iterations

Useful iterations: 4 (5.0ms)

IterNodesCost
02679
13169
23459
34049
44348
54648
64948
75048
done5048

end0.0ms

sample789.0ms

Algorithm
intervals
Results
391.0ms10679×body80valid

Profiling

Loading profile data...