Details

Time bar (total: 23.3s)

sample55.0ms

Algorithm
intervals
Results
25.0ms336×body80valid

simplify109.0ms

Counts
1 → 1
Iterations
IterNodes
done123
9123
8120
7112
695
579
462
341
225
115
010

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.2b

localize17.0ms

Local error

Found 3 expressions with local error:

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

rewrite375.0ms

Algorithm
rewrite-expression-head
Rules
1192×times-frac
1082×add-sqr-sqrt
1078×*-un-lft-identity
819×prod-diff
814×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
129×distribute-lft-out-- difference-of-squares
104×div-inv
80×associate-/r/
42×flip3-- flip--
13×fma-neg
10×associate-*r*
7×add-cbrt-cube add-exp-log
5×pow1 associate-/r* add-log-exp
3×expm1-log1p-u sub-neg associate-*l* associate-*r/ log1p-expm1-u associate-/l*
2×frac-sub
1×cbrt-undiv clear-num frac-2neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 927
Calls
3 calls:
56.0ms
(- (/ y z) (/ t (- 1.0 z)))
9.0ms
(/ t (- 1.0 z))
214.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series157.0ms

Counts
3 → 9
Calls
3 calls:
45.0ms
(- (/ y z) (/ t (- 1.0 z)))
43.0ms
(/ t (- 1.0 z))
68.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify2.7s

Counts
936 → 936
Iterations
IterNodes
done5000
12222
01009

prune5.9s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite230.0ms

Algorithm
rewrite-expression-head
Rules
424×times-frac
398×add-sqr-sqrt
394×*-un-lft-identity
286×add-cube-cbrt
273×prod-diff
51×distribute-lft-out-- difference-of-squares
36×div-inv
28×associate-/r/
16×flip3-- flip--
13×fma-neg
10×associate-*l*
7×add-cbrt-cube add-exp-log
5×pow1 associate-/r* add-log-exp
3×expm1-log1p-u associate-*r* associate-*l/ log1p-expm1-u associate-/l*
2×frac-sub
1×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 377
Calls
3 calls:
50.0ms
(- (/ y z) (/ t (- 1.0 z)))
9.0ms
(/ t (- 1.0 z))
124.0ms
(* (- (/ y z) (/ t (- 1.0 z))) x)

series176.0ms

Counts
3 → 9
Calls
3 calls:
60.0ms
(- (/ y z) (/ t (- 1.0 z)))
54.0ms
(/ t (- 1.0 z))
62.0ms
(* (- (/ y z) (/ t (- 1.0 z))) x)

simplify1.9s

Counts
386 → 386
Iterations
IterNodes
done5000
23972
11171
0502

prune2.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 4 expressions with local error:

4.0b
(* (+ (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ t (- 1.0 z))) (* (/ t (- 1.0 z)) 0)) x)
11.3b
(cbrt (/ y z))
11.3b
(cbrt (/ y z))
11.3b
(cbrt (/ y z))

rewrite955.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
29×add-sqr-sqrt
27×*-un-lft-identity times-frac add-cube-cbrt
25×associate-*l/
15×cbrt-div
9×frac-add
7×frac-sub
6×pow1 add-cbrt-cube add-exp-log
5×frac-times
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*r* associate-*l* associate-*r/ div-inv
1×flip3-+ flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ flip-- unswap-sqr
Counts
4 → 103
Calls
4 calls:
945.0ms
(* (+ (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ t (- 1.0 z))) (* (/ t (- 1.0 z)) 0)) x)
2.0ms
(cbrt (/ y z))
2.0ms
(cbrt (/ y z))
2.0ms
(cbrt (/ y z))

series323.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(* (+ (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ t (- 1.0 z))) (* (/ t (- 1.0 z)) 0)) x)
99.0ms
(cbrt (/ y z))
80.0ms
(cbrt (/ y z))
78.0ms
(cbrt (/ y z))

simplify1.5s

Counts
115 → 115
Iterations
IterNodes
done5001
21841
1497
0208

prune808.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

4.0b
(* (- (/ y z) (/ t (- 1.0 z))) x)
5.1b
(cbrt (* (- (/ y z) (/ t (- 1.0 z))) x))
5.1b
(cbrt (* (- (/ y z) (/ t (- 1.0 z))) x))
5.1b
(cbrt (* (- (/ y z) (/ t (- 1.0 z))) x))

rewrite349.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
17×*-un-lft-identity
12×associate-*l/
10×associate-*l*
9×cbrt-div
8×times-frac
6×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
4×expm1-log1p-u flip3-- frac-sub log1p-expm1-u flip-- distribute-lft-out-- add-log-exp difference-of-squares
3×cbrt-prod pow1/3 associate-*r*
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 72
Calls
4 calls:
178.0ms
(* (- (/ y z) (/ t (- 1.0 z))) x)
56.0ms
(cbrt (* (- (/ y z) (/ t (- 1.0 z))) x))
62.0ms
(cbrt (* (- (/ y z) (/ t (- 1.0 z))) x))
50.0ms
(cbrt (* (- (/ y z) (/ t (- 1.0 z))) x))

series936.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(* (- (/ y z) (/ t (- 1.0 z))) x)
291.0ms
(cbrt (* (- (/ y z) (/ t (- 1.0 z))) x))
286.0ms
(cbrt (* (- (/ y z) (/ t (- 1.0 z))) x))
297.0ms
(cbrt (* (- (/ y z) (/ t (- 1.0 z))) x))

simplify1.7s

Counts
84 → 84
Iterations
IterNodes
done5001
21051
1338
0146

prune652.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes585.0ms

Accuracy

31.1% (3.8b remaining)

Error of 3.9b against oracle of 0.1b and baseline of 5.6b

bsearch155.0ms

Steps
ItersRangePoint
7
8.978563809385031e-79
5.7705921213355006e-77
5.6895330751809856e-77
9
-6.051581156148863e-163
-9.475484569013819e-171
-3.8349942990853874e-165

simplify10.0ms

Iterations
IterNodes
done44
144
035

end0.0ms

sample1.2s

Algorithm
intervals
Results
557.0ms10073×body80valid