Details

Time bar (total: 13.1s)

sample54.0ms

Algorithm
intervals
Results
20.0ms343×body80valid

simplify143.0ms

Counts
1 → 1
Iterations
IterNodes
done136
6136
5134
4122
379
236
116
08

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 1 expressions with local error:

6.3b
(* (- x z) (* t y))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-cbrt-cube add-exp-log
5×associate-*l*
4×add-sqr-sqrt *-un-lft-identity
3×pow-prod-down prod-exp cbrt-unprod
2×associate-*l/ add-cube-cbrt
1×expm1-log1p-u flip3-- associate-*r* *-commutative log1p-expm1-u flip-- distribute-lft-out-- add-log-exp difference-of-squares
Counts
1 → 24
Calls
1 calls:
24.0ms
(* (- x z) (* t y))

series66.0ms

Counts
1 → 3
Calls
1 calls:
66.0ms
(* (- x z) (* t y))

simplify1.5s

Counts
27 → 27
Iterations
IterNodes
done5000
32675
2522
1152
058

prune135.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (- x z) t)
5.6b
(* (* (- x z) t) y)

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log
7×*-un-lft-identity
6×associate-*r* associate-*l* associate-*l/
5×add-cube-cbrt
4×pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u flip3-- *-commutative log1p-expm1-u flip-- add-log-exp
1×distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 46
Calls
2 calls:
32.0ms
(* (- x z) t)
53.0ms
(* (* (- x z) t) y)

series115.0ms

Counts
2 → 6
Calls
2 calls:
35.0ms
(* (- x z) t)
81.0ms
(* (* (- x z) t) y)

simplify690.0ms

Counts
52 → 52
Iterations
IterNodes
done5001
21084
1202
083

prune232.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- x z))
0.6b
(cbrt (- x z))
2.7b
(* (cbrt (- x z)) (* t y))
3.9b
(* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) (* t y)))

rewrite194.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
34×associate-*l/
30×pow1 flip3-- add-exp-log flip--
28×frac-times
18×add-cbrt-cube pow-prod-down prod-exp cbrt-unprod
15×cbrt-prod
14×add-sqr-sqrt *-un-lft-identity
9×associate-*l*
8×associate-*r/ add-cube-cbrt
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×distribute-lft-out-- difference-of-squares
2×pow1/3 associate-*r* *-commutative
Counts
4 → 117
Calls
4 calls:
6.0ms
(cbrt (- x z))
7.0ms
(cbrt (- x z))
43.0ms
(* (cbrt (- x z)) (* t y))
128.0ms
(* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) (* t y)))

series922.0ms

Counts
4 → 12
Calls
4 calls:
244.0ms
(cbrt (- x z))
193.0ms
(cbrt (- x z))
402.0ms
(* (cbrt (- x z)) (* t y))
83.0ms
(* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) (* t y)))

simplify1.1s

Counts
129 → 129
Iterations
IterNodes
done5001
21723
1534
0191

prune663.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- x z))
0.6b
(cbrt (- x z))
2.7b
(* (* (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z)))) (* t y))
3.9b
(* (* (cbrt (- x z)) (cbrt (- x z))) (* (* (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z)))) (* t y)))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
1408×cbrt-div
596×frac-times
462×associate-*l/
434×flip3-- flip--
160×associate-*r/
90×pow1 add-exp-log
66×pow-prod-down prod-exp cbrt-unprod
52×add-cbrt-cube
10×cbrt-prod add-sqr-sqrt *-un-lft-identity
6×add-cube-cbrt
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×pow1/3 associate-*r* associate-*l* *-commutative distribute-lft-out-- difference-of-squares
Counts
4 → 386
Calls
4 calls:
6.0ms
(cbrt (- x z))
5.0ms
(cbrt (- x z))
280.0ms
(* (* (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z)))) (* t y))
992.0ms
(* (* (cbrt (- x z)) (cbrt (- x z))) (* (* (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z)))) (* t y)))

series908.0ms

Counts
4 → 12
Calls
4 calls:
223.0ms
(cbrt (- x z))
211.0ms
(cbrt (- x z))
401.0ms
(* (* (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z)))) (* t y))
73.0ms
(* (* (cbrt (- x z)) (cbrt (- x z))) (* (* (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z)))) (* t y)))

simplify992.0ms

Counts
398 → 398
Iterations
IterNodes
done5000
12285
0591

prune1.9s

Pruning

8 alts after pruning (4 fresh and 4 done)

Merged error: 0.0b

regimes687.0ms

Accuracy

94% (0.4b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 7.3b

bsearch1.0ms

simplify3.0ms

Iterations
IterNodes
done32
132
025

end0.0ms

sample1.2s

Algorithm
intervals
Results
481.0ms10696×body80valid