Details

Time bar (total: 1.7m)

sample45.0ms

Algorithm
intervals
Results
18.0ms274×body80valid

simplify11.7s

Counts
1 → 1
Iterations
IterNodes
done5000
264922
254735
244524
234315
224104
213911
203699
193487
183261
173074
162836
152609
142235
131888
121271
11736
10424
9324
8265
7238
6203
5151
495
358
237
121
010

prune32.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite188.0ms

Algorithm
rewrite-expression-head
Rules
77×add-sqr-sqrt
72×*-un-lft-identity
51×times-frac
31×associate-*r*
28×add-cube-cbrt
22×distribute-lft-out-- difference-of-squares
10×add-exp-log add-cbrt-cube
5×pow1 associate-/r* associate-/l* add-log-exp
4×associate-/r/
3×expm1-log1p-u flip3-- fma-def associate-*l* flip-- log1p-expm1-u
2×cbrt-undiv div-exp 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 → 122
Calls
3 calls:
11.0ms
(+ x (* y (/ (- z t) (- z a))))
63.0ms
(/ (- z t) (- z a))
104.0ms
(* y (/ (- z t) (- z a)))

series709.0ms

Counts
3 → 9
Calls
3 calls:
373.0ms
(+ x (* y (/ (- z t) (- z a))))
118.0ms
(/ (- z t) (- z a))
218.0ms
(* y (/ (- z t) (- z a)))

simplify4.2s

Counts
131 → 131
Iterations
IterNodes
done5002
21421
1454
0168

prune2.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize75.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.7s

Algorithm
rewrite-expression-head
Rules
2591×*-un-lft-identity
2583×add-sqr-sqrt
2568×times-frac
1764×prod-diff
1541×add-cube-cbrt
886×distribute-rgt-in associate-+r+ distribute-lft-in
524×distribute-lft-out--
518×difference-of-squares
344×associate-/r/
173×flip3-- flip--
172×div-inv
18×associate-*r*
10×add-exp-log associate-/r* add-cbrt-cube
6×pow1 associate-/l* add-log-exp
4×expm1-log1p-u sub-neg associate-*r/ log1p-expm1-u
3×distribute-rgt-out-- fma-def associate-*l*
2×cbrt-undiv frac-2neg div-exp clear-num
1×+-commutative flip3-+ pow-prod-down prod-exp sum-log *-commutative frac-sub cbrt-unprod flip-+ sub-div unswap-sqr
Counts
4 → 1905
Calls
4 calls:
25.0ms
(/ t (- z a))
361.0ms
(+ x (* y (- (/ z (- z a)) (/ t (- z a)))))
24.0ms
(/ z (- z a))
1.0s
(* y (- (/ z (- z a)) (/ t (- z a))))

series1.4s

Counts
4 → 12
Calls
4 calls:
82.0ms
(/ t (- z a))
572.0ms
(+ x (* y (- (/ z (- z a)) (/ t (- z a)))))
288.0ms
(/ z (- z a))
493.0ms
(* y (- (/ z (- z a)) (/ t (- z a))))

simplify21.4s

Counts
1917 → 1917
Iterations
IterNodes
done5002
13424
01938

prune24.0s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize77.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (* y (- (log1p (expm1 (/ z (- z a)))) (/ t (- z a)))))
0.0b
(/ z (- z a))
0.5b
(expm1 (/ z (- z a)))
2.4b
(* y (- (log1p (expm1 (/ z (- z a)))) (/ t (- z a))))

rewrite553.0ms

Algorithm
rewrite-expression-head
Rules
296×add-sqr-sqrt
291×*-un-lft-identity
252×prod-diff
209×add-cube-cbrt
196×times-frac
130×distribute-rgt-in associate-+r+ distribute-lft-in
42×difference-of-squares
41×distribute-lft-out--
26×associate-/r/
14×flip3-- flip--
13×div-inv
8×add-exp-log add-cbrt-cube
6×pow1 associate-*r* add-log-exp
5×associate-/r* log1p-expm1-u
4×expm1-log1p-u sub-neg
3×fma-def associate-*l* associate-/l*
2×associate-*r/
1×cbrt-undiv +-commutative expm1-log1p frac-2neg flip3-+ div-exp pow-prod-down prod-exp clear-num sum-log *-commutative cbrt-unprod flip-+ expm1-udef unswap-sqr
Counts
4 → 351
Calls
4 calls:
75.0ms
(+ x (* y (- (log1p (expm1 (/ z (- z a)))) (/ t (- z a)))))
24.0ms
(/ z (- z a))
1.0ms
(expm1 (/ z (- z a)))
370.0ms
(* y (- (log1p (expm1 (/ z (- z a)))) (/ t (- z a))))

series1.1s

Counts
4 → 12
Calls
4 calls:
282.0ms
(+ x (* y (- (log1p (expm1 (/ z (- z a)))) (/ t (- z a)))))
103.0ms
(/ z (- z a))
238.0ms
(expm1 (/ z (- z a)))
464.0ms
(* y (- (log1p (expm1 (/ z (- z a)))) (/ t (- z a))))

simplify5.2s

Counts
363 → 363
Iterations
IterNodes
done5003
22748
11149
0569

prune4.5s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize162.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ 1 (- z a)) t)
0.2b
(* (/ 1 (- z a)) t)
2.4b
(* (fma z (/ 1 (- z a)) (- (* (/ 1 (- z a)) t))) y)
46.5b
(fma (- (/ 1 (- z a))) t (* (/ 1 (- z a)) t))

rewrite198.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
45×associate-*l*
40×*-un-lft-identity
34×times-frac
26×add-cube-cbrt
24×add-exp-log
16×add-cbrt-cube
10×pow1
9×associate-*r* prod-exp
7×unswap-sqr
6×distribute-lft-out-- difference-of-squares
5×cbrt-unprod
4×expm1-log1p-u div-exp associate-/r/ log1p-expm1-u add-log-exp
3×pow-prod-down *-commutative
2×cbrt-undiv rec-exp flip3-- 1-exp associate-*l/ flip-- div-inv
1×fma-udef
Counts
4 → 120
Calls
4 calls:
67.0ms
(* (/ 1 (- z a)) t)
96.0ms
(* (/ 1 (- z a)) t)
24.0ms
(* (fma z (/ 1 (- z a)) (- (* (/ 1 (- z a)) t))) y)
1.0ms
(fma (- (/ 1 (- z a))) t (* (/ 1 (- z a)) t))

series1.7s

Counts
4 → 12
Calls
4 calls:
163.0ms
(* (/ 1 (- z a)) t)
402.0ms
(* (/ 1 (- z a)) t)
800.0ms
(* (fma z (/ 1 (- z a)) (- (* (/ 1 (- z a)) t))) y)
355.0ms
(fma (- (/ 1 (- z a))) t (* (/ 1 (- z a)) t))

simplify10.3s

Counts
132 → 132
Iterations
IterNodes
done5018
32225
2768
1292
0134

prune3.2s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes866.0ms

Accuracy

36% (0.9b remaining)

Error of 0.9b against oracle of 0.0b and baseline of 1.4b

bsearch161.0ms

Steps
ItersRangePoint
6
1.425089485496022e+53
9.282513013706669e+53
1.608510454426238e+53
7
-1.1965222365121603e+67
-6.445621325109225e+64
-8.670778813618827e+65

simplify8.0ms

Iterations
IterNodes
done30
130
023

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.1s8749×body80valid
0.0ms1×body320valid