Details

Time bar (total: 24.1s)

sample51.0ms

Algorithm
intervals
Results
11.0ms250×body80valid
7.0ms15×body640valid
3.0ms16×body1280valid
2.0ms14×body320valid
0.0ms5×body160valid

simplify2.5s

Counts
1 → 1
Iterations
IterNodes
done5000
63616
5935
4334
3122
244
123
011

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.1b

localize39.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- t x) (- a z))
2.2b
(+ x (* (- y z) (/ (- t x) (- a z))))
3.8b
(* (- y z) (/ (- t x) (- a z)))

rewrite130.0ms

Algorithm
rewrite-expression-head
Rules
78×add-sqr-sqrt
73×*-un-lft-identity
51×times-frac
31×associate-*r*
27×add-cube-cbrt
23×distribute-lft-out-- difference-of-squares
10×add-cbrt-cube add-exp-log
5×pow1 associate-/r* flip3-- associate-*l* flip-- associate-/l* add-log-exp
4×associate-/r/
2×frac-times cbrt-undiv div-exp associate-*l/ prod-exp cbrt-unprod div-inv unswap-sqr associate-/l/
1×+-commutative clear-num sum-log frac-2neg flip3-+ div-sub pow-prod-down associate-*r/ *-commutative flip-+
Counts
3 → 119
Calls
3 calls:
24.0ms
(/ (- t x) (- a z))
8.0ms
(+ x (* (- y z) (/ (- t x) (- a z))))
88.0ms
(* (- y z) (/ (- t x) (- a z)))

series520.0ms

Counts
3 → 9
Calls
3 calls:
64.0ms
(/ (- t x) (- a z))
275.0ms
(+ x (* (- y z) (/ (- t x) (- a z))))
180.0ms
(* (- y z) (/ (- t x) (- a z)))

simplify2.1s

Counts
128 → 128
Iterations
IterNodes
done5002
22689
1500
0183

prune892.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 3.9b

localize67.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- a z))
0.6b
(cbrt (- a z))
0.6b
(cbrt (- a z))
10.2b
(+ x (* (/ (- y z) (* (/ (cbrt (- a z)) (cbrt (- t x))) (/ (cbrt (- a z)) (cbrt (- t x))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod
13×add-sqr-sqrt *-un-lft-identity
7×add-cube-cbrt
6×cbrt-div add-log-exp
4×pow1 add-cbrt-cube add-exp-log
3×flip3-- pow1/3 flip-- distribute-lft-out-- difference-of-squares
1×+-commutative sum-log flip3-+ flip-+
Counts
4 → 56
Calls
4 calls:
4.0ms
(cbrt (- a z))
6.0ms
(cbrt (- a z))
6.0ms
(cbrt (- a z))
11.0ms
(+ x (* (/ (- y z) (* (/ (cbrt (- a z)) (cbrt (- t x))) (/ (cbrt (- a z)) (cbrt (- t x))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

series892.0ms

Counts
4 → 12
Calls
4 calls:
224.0ms
(cbrt (- a z))
216.0ms
(cbrt (- a z))
194.0ms
(cbrt (- a z))
259.0ms
(+ x (* (/ (- y z) (* (/ (cbrt (- a z)) (cbrt (- t x))) (/ (cbrt (- a z)) (cbrt (- t x))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

simplify3.5s

Counts
68 → 68
Iterations
IterNodes
done5001
34376
2809
1262
0108

prune860.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 3.4b

localize57.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- a z))
0.6b
(cbrt (- a z))
1.4b
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
9.2b
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite191.0ms

Algorithm
rewrite-expression-head
Rules
75×add-sqr-sqrt
59×*-un-lft-identity
52×times-frac
46×associate-*r*
37×cbrt-prod
27×add-cube-cbrt
25×add-exp-log
18×cbrt-div add-cbrt-cube
17×associate-*l*
16×distribute-lft-out-- difference-of-squares
10×associate-/r/
9×flip3-- flip--
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp
6×pow1 add-log-exp unswap-sqr
5×frac-times
3×associate-*l/ associate-*r/
2×pow1/3 div-inv
1×+-commutative sum-log flip3-+ pow-prod-down *-commutative flip-+
Counts
4 → 134
Calls
4 calls:
6.0ms
(cbrt (- a z))
6.0ms
(cbrt (- a z))
161.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
6.0ms
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
243.0ms
(cbrt (- a z))
199.0ms
(cbrt (- a z))
437.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
231.0ms
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

simplify2.6s

Counts
146 → 146
Iterations
IterNodes
done5000
23437
1755
0255

prune1.2s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 3.4b

localize49.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- a z) (- t x))
0.9b
(/ 1 (/ (- a z) (- t x)))
3.8b
(* (- y z) (/ 1 (/ (- a z) (- t x))))
4.1b
(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))

rewrite231.0ms

Algorithm
rewrite-expression-head
Rules
392×times-frac
338×add-sqr-sqrt
326×*-un-lft-identity
158×add-cube-cbrt
98×associate-*r*
83×distribute-lft-out-- difference-of-squares
36×associate-/r* add-exp-log
20×add-cbrt-cube
18×associate-/r/
15×div-exp
11×flip3-- flip--
10×div-inv
8×associate-/l*
7×pow1 cbrt-undiv prod-exp
6×add-log-exp
5×associate-*l* unswap-sqr
4×rec-exp 1-exp
3×cbrt-unprod
2×frac-times clear-num frac-2neg associate-*l/ associate-/l/
1×+-commutative sum-log flip3-+ div-sub pow-prod-down associate-*r/ un-div-inv *-commutative flip-+ pow-flip inv-pow
Counts
4 → 344
Calls
4 calls:
31.0ms
(/ (- a z) (- t x))
36.0ms
(/ 1 (/ (- a z) (- t x)))
133.0ms
(* (- y z) (/ 1 (/ (- a z) (- t x))))
11.0ms
(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
83.0ms
(/ (- a z) (- t x))
315.0ms
(/ 1 (/ (- a z) (- t x)))
466.0ms
(* (- y z) (/ 1 (/ (- a z) (- t x))))
252.0ms
(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))

simplify1.1s

Counts
356 → 356
Iterations
IterNodes
done5000
11166
0393

prune2.2s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 3.4b

regimes732.0ms

Accuracy

16.6% (6.8b remaining)

Error of 10.0b against oracle of 3.2b and baseline of 11.4b

bsearch102.0ms

Steps
ItersRangePoint
10
2.1039460058121797e-189
5.334963794456662e-178
2.669813020611439e-179
6
-8.18404917531175e-49
-9.569740050098368e-50
-9.775356164441544e-50

simplify5.0ms

Iterations
IterNodes
done29
129
022

end0.0ms

sample1.8s

Algorithm
intervals
Results
936.0ms7893×body80valid
94.0ms322×body1280valid
76.0ms429×body640valid
70.0ms375×body320valid
24.0ms260×body160valid
5.0ms19×body2560valid