Details

Time bar (total: 10.5s)

sample18.0ms

Algorithm
intervals
Results
8.0ms291×body80valid

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
done5000
94856
81634
7579
6219
591
465
342
222
111
06

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.6b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (- y z))
12.8b
(/ (* x (- y z)) y)

rewrite39.0ms

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

series98.0ms

Counts
2 → 6
Calls
2 calls:
40.0ms
(* x (- y z))
58.0ms
(/ (* x (- y z)) y)

simplify944.0ms

Counts
55 → 55
Iterations
IterNodes
done5000
2970
1236
090

prune241.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ y (- y z))
2.4b
(/ x (/ y (- y z)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
102×add-sqr-sqrt *-un-lft-identity
70×add-cube-cbrt
26×associate-/r*
16×distribute-lft-out-- difference-of-squares
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:
11.0ms
(/ y (- y z))
15.0ms
(/ x (/ y (- y z)))

series126.0ms

Counts
2 → 6
Calls
2 calls:
58.0ms
(/ y (- y z))
68.0ms
(/ x (/ y (- y z)))

simplify1.0s

Counts
145 → 145
Iterations
IterNodes
done5000
22840
1560
0218

prune509.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ 1 (- y z))
11.0b
(/ (/ x y) (/ 1 (- y z)))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
696×times-frac
384×add-sqr-sqrt *-un-lft-identity
292×add-cube-cbrt
46×distribute-lft-out-- difference-of-squares
38×div-inv
31×associate-/r/
28×add-exp-log
26×associate-/r*
18×div-exp
16×add-cbrt-cube associate-/l*
15×flip3-- flip--
9×cbrt-undiv
3×pow1 rec-exp 1-exp
2×clear-num frac-2neg add-log-exp
1×pow-flip inv-pow associate-/l/
Counts
2 → 372
Calls
2 calls:
18.0ms
(/ 1 (- y z))
29.0ms
(/ (/ x y) (/ 1 (- y z)))

series98.0ms

Counts
2 → 6
Calls
2 calls:
38.0ms
(/ 1 (- y z))
59.0ms
(/ (/ x y) (/ 1 (- y z)))

simplify1.1s

Counts
378 → 378
Iterations
IterNodes
done5000
11960
0566

prune1.1s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize23.0ms

Local error

Found 3 expressions with local error:

0.1b
(* (* (/ x y) (+ z y)) (- y z))
10.9b
(* (/ x y) (+ z y))
15.0b
(/ (* (* (/ x y) (+ z y)) (- y z)) (+ y z))

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
34×frac-times
31×add-cbrt-cube add-exp-log
22×*-un-lft-identity
21×add-sqr-sqrt
18×associate-*r/
17×associate-*l/ associate-/l/
15×flip3-+ flip-+
14×times-frac associate-*l* add-cube-cbrt
12×flip3-- prod-exp cbrt-unprod flip--
10×pow1
9×associate-*r*
7×cbrt-undiv div-exp
4×associate-/r* pow-prod-down
3×distribute-rgt-in distribute-lft-in distribute-lft-out add-log-exp
2×sub-neg associate-/r/ *-commutative div-inv unswap-sqr
1×clear-num frac-2neg associate-/l* distribute-lft-out-- difference-of-squares
Counts
3 → 128
Calls
3 calls:
47.0ms
(* (* (/ x y) (+ z y)) (- y z))
23.0ms
(* (/ x y) (+ z y))
63.0ms
(/ (* (* (/ x y) (+ z y)) (- y z)) (+ y z))

series332.0ms

Counts
3 → 9
Calls
3 calls:
155.0ms
(* (* (/ x y) (+ z y)) (- y z))
62.0ms
(* (/ x y) (+ z y))
115.0ms
(/ (* (* (/ x y) (+ z y)) (- y z)) (+ y z))

simplify749.0ms

Counts
137 → 137
Iterations
IterNodes
done5000
1782
0218

prune579.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes562.0ms

Accuracy

86.7% (0.4b remaining)

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

bsearch1.0ms

simplify626.0ms

Iterations
IterNodes
done5001
142041
131311
12581
11393
10203
9147
897
771
655
542
436
333
227
124
020

end0.0ms

sample676.0ms

Algorithm
intervals
Results
379.0ms9603×body80valid