Details

Time bar (total: 19.1s)

sample44.0ms

Algorithm
intervals
Results
13.0ms247×body80valid
3.0ms13×body1280valid
3.0ms14×body640valid
2.0ms13×body320valid
1.0ms9×body160valid
0.0ms1×body2560valid

simplify1.3s

Counts
1 → 1

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.1b

localize24.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- t x) (- a z))
3.7b
(+ x (* (- y z) (/ (- t x) (- a z))))
4.6b
(* (- y z) (/ (- t x) (- a z)))

rewrite142.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-exp-log add-cbrt-cube
5×pow1 flip3-- associate-*l* associate-/r* flip-- associate-/l* add-log-exp
4×associate-/r/
2×cbrt-undiv frac-times div-exp associate-*l/ prod-exp cbrt-unprod div-inv associate-/l/ unswap-sqr
1×+-commutative frac-2neg flip3-+ div-sub associate-*r/ pow-prod-down clear-num sum-log *-commutative flip-+
Counts
3 → 119
Calls
3 calls:
25.0ms
(/ (- t x) (- a z))
8.0ms
(+ x (* (- y z) (/ (- t x) (- a z))))
103.0ms
(* (- y z) (/ (- t x) (- a z)))

series473.0ms

Counts
3 → 9
Calls
3 calls:
74.0ms
(/ (- t x) (- a z))
219.0ms
(+ x (* (- y z) (/ (- t x) (- a z))))
178.0ms
(* (- y z) (/ (- t x) (- a z)))

simplify738.0ms

Counts
128 → 128

prune388.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 5.1b

localize30.0ms

Local error

Found 4 expressions with local error:

4.6b
(* (- y z) (/ (- t x) (- a z)))
4.6b
(* (- y z) (/ (- t x) (- a z)))
4.6b
(* (- y z) (/ (- t x) (- a z)))
9.4b
(+ x (* (* (cbrt (* (- y z) (/ (- t x) (- a z)))) (cbrt (* (- y z) (/ (- t x) (- a z))))) (cbrt (* (- y z) (/ (- t x) (- a z))))))

rewrite243.0ms

Algorithm
rewrite-expression-head
Rules
121×add-sqr-sqrt
106×*-un-lft-identity
93×associate-*r*
78×times-frac
40×add-cube-cbrt
33×distribute-lft-out-- difference-of-squares
19×add-exp-log add-cbrt-cube
15×associate-*l*
10×pow1
9×flip3-- flip--
6×frac-times associate-*l/ prod-exp associate-/r/ cbrt-unprod add-log-exp unswap-sqr
3×cbrt-undiv associate-*r/ div-exp pow-prod-down *-commutative div-inv
1×+-commutative flip3-+ sum-log flip-+
Counts
4 → 179
Calls
4 calls:
66.0ms
(* (- y z) (/ (- t x) (- a z)))
85.0ms
(* (- y z) (/ (- t x) (- a z)))
76.0ms
(* (- y z) (/ (- t x) (- a z)))
7.0ms
(+ x (* (* (cbrt (* (- y z) (/ (- t x) (- a z)))) (cbrt (* (- y z) (/ (- t x) (- a z))))) (cbrt (* (- y z) (/ (- t x) (- a z))))))

series755.0ms

Counts
4 → 12
Calls
4 calls:
172.0ms
(* (- y z) (/ (- t x) (- a z)))
194.0ms
(* (- y z) (/ (- t x) (- a z)))
166.0ms
(* (- y z) (/ (- t x) (- a z)))
223.0ms
(+ x (* (* (cbrt (* (- y z) (/ (- t x) (- a z)))) (cbrt (* (- y z) (/ (- t x) (- a z))))) (cbrt (* (- y z) (/ (- t x) (- a z))))))

simplify737.0ms

Counts
191 → 191

prune1.1s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 5.1b

localize28.0ms

Local error

Found 4 expressions with local error:

3.2b
(cbrt (* (- y z) (/ (- t x) (- a z))))
4.6b
(* (- y z) (/ (- t x) (- a z)))
4.6b
(* (- y z) (/ (- t x) (- a z)))
8.1b
(+ x (* (* (cbrt (* (- y z) (/ (- t x) (- a z)))) (cbrt (* (- y z) (/ (- t x) (- a z))))) (cbrt (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z)))))))

rewrite188.0ms

Algorithm
rewrite-expression-head
Rules
82×add-sqr-sqrt
72×*-un-lft-identity
62×associate-*r*
52×times-frac
28×add-cube-cbrt
22×distribute-lft-out-- difference-of-squares
14×add-exp-log add-cbrt-cube
10×associate-*l*
8×pow1 flip3-- flip--
6×frac-times associate-*l/ add-log-exp
5×cbrt-div
4×prod-exp associate-/r/ cbrt-unprod unswap-sqr
3×associate-*r/
2×cbrt-undiv div-exp pow-prod-down *-commutative div-inv
1×+-commutative cbrt-prod flip3-+ pow1/3 sum-log flip-+
Counts
4 → 137
Calls
4 calls:
22.0ms
(cbrt (* (- y z) (/ (- t x) (- a z))))
66.0ms
(* (- y z) (/ (- t x) (- a z)))
76.0ms
(* (- y z) (/ (- t x) (- a z)))
7.0ms
(+ x (* (* (cbrt (* (- y z) (/ (- t x) (- a z)))) (cbrt (* (- y z) (/ (- t x) (- a z))))) (cbrt (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z)))))))

series4.3s

Counts
4 → 12
Calls
4 calls:
3.7s
(cbrt (* (- y z) (/ (- t x) (- a z))))
173.0ms
(* (- y z) (/ (- t x) (- a z)))
191.0ms
(* (- y z) (/ (- t x) (- a z)))
239.0ms
(+ x (* (* (cbrt (* (- y z) (/ (- t x) (- a z)))) (cbrt (* (- y z) (/ (- t x) (- a z))))) (cbrt (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z)))))))

simplify928.0ms

Counts
149 → 149

prune902.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 5.1b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite307.0ms

Algorithm
rewrite-expression-head
Rules
182×times-frac
142×associate-*r*
128×add-sqr-sqrt
114×*-un-lft-identity
102×cbrt-div
97×cbrt-prod
66×associate-/r/
58×add-cube-cbrt
53×flip3-- flip--
34×frac-times
28×distribute-lft-out-- difference-of-squares
18×add-exp-log associate-*l/
17×associate-*r/
13×add-cbrt-cube
9×div-inv
6×pow1 add-log-exp
5×cbrt-undiv div-exp associate-*l* prod-exp cbrt-unprod unswap-sqr
2×pow1/3
1×+-commutative flip3-+ pow-prod-down sum-log *-commutative flip-+
Counts
4 → 215
Calls
4 calls:
7.0ms
(cbrt (- a z))
7.0ms
(cbrt (- a z))
249.0ms
(* (- y z) (/ (/ (- t x) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (- a z))))
14.0ms
(+ x (* (- y z) (/ (/ (- t x) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (- a z)))))

series840.0ms

Counts
4 → 12
Calls
4 calls:
241.0ms
(cbrt (- a z))
213.0ms
(cbrt (- a z))
152.0ms
(* (- y z) (/ (/ (- t x) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (- a z))))
234.0ms
(+ x (* (- y z) (/ (/ (- t x) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (- a z)))))

simplify639.0ms

Counts
227 → 227

prune1.2s

Pruning

13 alts after pruning (10 fresh and 3 done)

Merged error: 5.1b

regimes574.0ms

Accuracy

-31.7% (14.8b remaining)

Error of 19.2b against oracle of 4.4b and baseline of 15.6b

bsearch3.0ms

simplify1.6s

end0.0ms

sample1.6s

Algorithm
intervals
Results
656.0ms7684×body80valid
137.0ms523×body640valid
71.0ms283×body1280valid
67.0ms435×body320valid
32.0ms294×body160valid
7.0ms23×body2560valid