Details

Time bar (total: 14.5s)

sample40.0ms

Algorithm
intervals
Results
9.0ms257×body80valid
8.0ms264×body80nan

simplify906.0ms

Counts
1 → 1
Iterations
IterNodes
done5001
101386
9476
8238
7133
693
571
441
323
216
113
07

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.4b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* (log (/ x y)) x) z)
0.2b
(* (log (/ x y)) x)
15.2b
(log (/ x y))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×log-prod
12×*-un-lft-identity add-cube-cbrt
9×times-frac
8×add-exp-log
7×pow1
5×add-cbrt-cube add-log-exp
4×associate-*l*
3×associate-*r*
2×rem-log-exp log-pow
1×log-div sub-neg flip3-- diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv flip-- unswap-sqr
Counts
3 → 55
Calls
3 calls:
7.0ms
(- (* (log (/ x y)) x) z)
7.0ms
(* (log (/ x y)) x)
2.0ms
(log (/ x y))

series239.0ms

Counts
3 → 9
Calls
3 calls:
103.0ms
(- (* (log (/ x y)) x) z)
90.0ms
(* (log (/ x y)) x)
46.0ms
(log (/ x y))

simplify2.6s

Counts
64 → 64
Iterations
IterNodes
done5000
34782
2711
1257
0126

prune332.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt y)
0.5b
(cbrt y)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log add-log-exp
Counts
4 → 44
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series964.0ms

Counts
4 → 12
Calls
4 calls:
234.0ms
(cbrt y)
275.0ms
(cbrt y)
226.0ms
(cbrt x)
228.0ms
(cbrt x)

simplify648.0ms

Counts
56 → 56
Iterations
IterNodes
done5000
41842
3637
2206
175
042

prune371.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize112.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt (cbrt y))
0.6b
(cbrt (cbrt y))
0.6b
(cbrt (cbrt y))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
30×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log add-log-exp
Counts
4 → 53
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt (cbrt y))
1.0ms
(cbrt (cbrt y))
1.0ms
(cbrt (cbrt y))

series1.3s

Counts
4 → 12
Calls
4 calls:
244.0ms
(cbrt x)
347.0ms
(cbrt (cbrt y))
360.0ms
(cbrt (cbrt y))
393.0ms
(cbrt (cbrt y))

simplify908.0ms

Counts
65 → 65
Iterations
IterNodes
done5001
41756
3586
2200
189
053

prune532.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (cbrt (pow (log (/ x y)) 3)) x)
0.5b
(cbrt (pow (log (/ x y)) 3))
0.8b
(pow (log (/ x y)) 3)
15.2b
(log (/ x y))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
32×cbrt-prod
31×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
17×associate-*l*
14×pow1
13×log-prod unpow-prod-down cube-prod
10×add-exp-log
9×times-frac
7×log-pow
6×add-cbrt-cube
5×unswap-sqr
4×add-log-exp sqr-pow
3×cube-mult pow-unpow unpow3 associate-*r*
2×rem-log-exp
1×pow-to-exp log-div pow-pow pow1/3 div-exp pow-prod-down pow-exp prod-exp *-commutative rem-cbrt-cube cbrt-unprod div-inv rem-cube-cbrt
Counts
4 → 108
Calls
4 calls:
24.0ms
(* (cbrt (pow (log (/ x y)) 3)) x)
3.0ms
(cbrt (pow (log (/ x y)) 3))
3.0ms
(pow (log (/ x y)) 3)
3.0ms
(log (/ x y))

series269.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(* (cbrt (pow (log (/ x y)) 3)) x)
68.0ms
(cbrt (pow (log (/ x y)) 3))
83.0ms
(pow (log (/ x y)) 3)
49.0ms
(log (/ x y))

simplify1.9s

Counts
120 → 120
Iterations
IterNodes
done5002
21867
1330
0143

prune569.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

regimes345.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done21
121
017

end0.0ms

sample2.2s

Algorithm
intervals
Results
708.0ms8069×body80nan
501.0ms8033×body80valid