Details

Time bar (total: 15.4s)

sample34.0ms

Algorithm
intervals
Results
14.0ms321×body80valid

simplify74.0ms

Counts
1 → 1
Iterations
IterNodes
done110
9110
8108
7102
687
573
458
339
225
115
010

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.9b

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ t (- 1.0 z))
4.6b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite149.0ms

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

series109.0ms

Counts
2 → 6
Calls
2 calls:
54.0ms
(/ t (- 1.0 z))
55.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify1.1s

Counts
75 → 75
Iterations
IterNodes
done5001
21290
1379
0155

prune471.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.2b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- 1.0 z) t)
0.5b
(/ 1 (/ (- 1.0 z) t))
4.6b
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

rewrite372.0ms

Algorithm
rewrite-expression-head
Rules
151×times-frac
138×add-sqr-sqrt
114×*-un-lft-identity
71×add-cube-cbrt
26×difference-of-squares
22×associate-/r*
19×distribute-lft-out--
18×add-exp-log
16×associate-*r*
12×add-cbrt-cube
8×div-exp associate-/l*
7×div-inv
6×pow1
4×cbrt-undiv
3×associate-*l* associate-*r/ add-log-exp
2×distribute-rgt-in rec-exp clear-num sub-neg frac-2neg distribute-lft-in flip3-- 1-exp flip-- associate-/l/
1×div-sub pow-prod-down prod-exp associate-/r/ *-commutative frac-sub cbrt-unprod pow-flip inv-pow unswap-sqr
Counts
3 → 176
Calls
3 calls:
22.0ms
(/ (- 1.0 z) t)
24.0ms
(/ 1 (/ (- 1.0 z) t))
309.0ms
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

series199.0ms

Counts
3 → 9
Calls
3 calls:
64.0ms
(/ (- 1.0 z) t)
47.0ms
(/ 1 (/ (- 1.0 z) t))
89.0ms
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

simplify2.1s

Counts
185 → 185
Iterations
IterNodes
done5000
23465
1801
0287

prune785.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize65.0ms

Local error

Found 4 expressions with local error:

0.7b
(* x (* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z))))))
5.6b
(cbrt (- (/ y z) (/ t (- 1.0 z))))
5.6b
(cbrt (- (/ y z) (/ t (- 1.0 z))))
5.6b
(cbrt (- (/ y z) (/ t (- 1.0 z))))

rewrite388.0ms

Algorithm
rewrite-expression-head
Rules
45×add-sqr-sqrt
41×*-un-lft-identity
33×cbrt-div
30×cbrt-prod
24×times-frac
18×associate-*r/
12×distribute-lft-out-- difference-of-squares
11×flip3-- frac-sub flip--
9×frac-times pow1 add-exp-log
8×add-cube-cbrt
7×add-cbrt-cube
4×add-log-exp
3×pow1/3 associate-*l* pow-prod-down associate-*l/ prod-exp cbrt-unprod
1×associate-*r* *-commutative unswap-sqr
Counts
4 → 97
Calls
4 calls:
285.0ms
(* x (* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z))))))
30.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))
31.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))
33.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))

series839.0ms

Counts
4 → 12
Calls
4 calls:
221.0ms
(* x (* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z))))))
203.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))
213.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))
202.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))

simplify1.8s

Counts
109 → 109
Iterations
IterNodes
done5000
32700
2957
1418
0191

prune790.0ms

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ t (- 1.0 z)) (/ t (- 1.0 z)))
0.1b
(* (* (/ t (- 1.0 z)) (/ t (- 1.0 z))) (/ t (- 1.0 z)))
4.6b
(* x (- (/ y z) (cbrt (* (* (/ t (- 1.0 z)) (/ t (- 1.0 z))) (/ t (- 1.0 z))))))
31.6b
(cbrt (* (* (/ t (- 1.0 z)) (/ t (- 1.0 z))) (/ t (- 1.0 z))))

rewrite407.0ms

Algorithm
rewrite-expression-head
Rules
107×add-sqr-sqrt
105×*-un-lft-identity
93×times-frac
59×add-cbrt-cube add-exp-log
55×add-cube-cbrt
48×associate-*r*
32×pow1
27×swap-sqr
25×associate-*l*
23×prod-exp cbrt-unprod
22×distribute-lft-out--
19×associate-*r/
17×cbrt-undiv div-exp difference-of-squares
16×frac-times associate-*l/
14×cbrt-div
10×associate-/r/
7×pow-plus pow-prod-up frac-sub unswap-sqr
6×flip3-- flip--
5×pow-prod-down div-inv
4×add-log-exp
3×pow2 pow-sqr *-commutative
2×distribute-rgt-in sub-neg distribute-lft-in pow3
1×cbrt-prod pow1/3 rem-cbrt-cube
Counts
4 → 218
Calls
4 calls:
61.0ms
(* (/ t (- 1.0 z)) (/ t (- 1.0 z)))
142.0ms
(* (* (/ t (- 1.0 z)) (/ t (- 1.0 z))) (/ t (- 1.0 z)))
92.0ms
(* x (- (/ y z) (cbrt (* (* (/ t (- 1.0 z)) (/ t (- 1.0 z))) (/ t (- 1.0 z))))))
91.0ms
(cbrt (* (* (/ t (- 1.0 z)) (/ t (- 1.0 z))) (/ t (- 1.0 z))))

series359.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(* (/ t (- 1.0 z)) (/ t (- 1.0 z)))
92.0ms
(* (* (/ t (- 1.0 z)) (/ t (- 1.0 z))) (/ t (- 1.0 z)))
116.0ms
(* x (- (/ y z) (cbrt (* (* (/ t (- 1.0 z)) (/ t (- 1.0 z))) (/ t (- 1.0 z))))))
94.0ms
(cbrt (* (* (/ t (- 1.0 z)) (/ t (- 1.0 z))) (/ t (- 1.0 z))))

simplify1.4s

Counts
230 → 230
Iterations
IterNodes
done5001
11189
0370

prune1.4s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.0b

regimes847.0ms

Accuracy

68.1% (1.4b remaining)

Error of 1.5b against oracle of 0.0b and baseline of 4.5b

bsearch3.0ms

simplify6.0ms

Iterations
IterNodes
done23
123
018

end0.0ms

sample1.7s

Algorithm
intervals
Results
630.0ms10114×body80valid