Details

Time bar (total: 43.3s)

sample118.0ms

Algorithm
intervals
Results
51.0ms256×body80valid

simplify18.6s

Counts
1 → 1
Iterations
IterNodes
done5000
84210
72062
61201
5770
4503
3200
279
133
016

prune32.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.0b

localize52.0ms

Local error

Found 3 expressions with local error:

0.0b
(* z (+ y x))
0.8b
(fma y (- a b) (fma t a (* z (+ y x))))
28.1b
(/ (fma y (- a b) (fma t a (* z (+ y x)))) (+ (+ y x) t))

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
17×add-sqr-sqrt
15×add-cube-cbrt times-frac
13×distribute-lft-out
7×add-exp-log add-cbrt-cube
5×pow1 associate-/r*
4×associate-*r*
3×expm1-log1p-u associate-*l* log1p-expm1-u associate-/l* add-log-exp
2×flip3-+ associate-*r/ associate-/r/ flip-+
1×cbrt-undiv distribute-rgt-in frac-2neg distribute-lft-in div-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod fma-udef div-inv unswap-sqr
Counts
3 → 74
Calls
3 calls:
52.0ms
(* z (+ y x))
1.0ms
(fma y (- a b) (fma t a (* z (+ y x))))
96.0ms
(/ (fma y (- a b) (fma t a (* z (+ y x)))) (+ (+ y x) t))

series615.0ms

Counts
3 → 9
Calls
3 calls:
66.0ms
(* z (+ y x))
241.0ms
(fma y (- a b) (fma t a (* z (+ y x))))
308.0ms
(/ (fma y (- a b) (fma t a (* z (+ y x)))) (+ (+ y x) t))

simplify5.1s

Counts
83 → 83
Iterations
IterNodes
done5000
33592
2875
1287
0120

prune1.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 6.6b

localize14.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify1.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune114.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 6.6b

localize66.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (+ y x))
0.2b
(/ 1 (/ (+ (+ y x) t) (fma y (- a b) (fma t a (* z (+ y x))))))
0.8b
(fma y (- a b) (fma t a (* z (+ y x))))
28.1b
(/ (+ (+ y x) t) (fma y (- a b) (fma t a (* z (+ y x)))))

rewrite616.0ms

Algorithm
rewrite-expression-head
Rules
154×*-un-lft-identity
132×times-frac
74×add-sqr-sqrt
72×add-cube-cbrt
49×distribute-lft-out
22×associate-/r*
19×add-exp-log
13×add-cbrt-cube
8×div-exp associate-/l*
7×pow1
6×div-inv
4×cbrt-undiv expm1-log1p-u associate-*r* log1p-expm1-u add-log-exp
3×associate-*l*
2×rec-exp frac-2neg flip3-+ 1-exp associate-*r/ clear-num flip-+ associate-/l/
1×distribute-rgt-in pow-flip distribute-lft-in pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod fma-udef inv-pow unswap-sqr
Counts
4 → 176
Calls
4 calls:
66.0ms
(* z (+ y x))
155.0ms
(/ 1 (/ (+ (+ y x) t) (fma y (- a b) (fma t a (* z (+ y x))))))
1.0ms
(fma y (- a b) (fma t a (* z (+ y x))))
361.0ms
(/ (+ (+ y x) t) (fma y (- a b) (fma t a (* z (+ y x)))))

series1.2s

Counts
4 → 12
Calls
4 calls:
56.0ms
(* z (+ y x))
432.0ms
(/ 1 (/ (+ (+ y x) t) (fma y (- a b) (fma t a (* z (+ y x))))))
232.0ms
(fma y (- a b) (fma t a (* z (+ y x))))
507.0ms
(/ (+ (+ y x) t) (fma y (- a b) (fma t a (* z (+ y x)))))

simplify2.8s

Counts
188 → 188
Iterations
IterNodes
done5003
21604
1564
0218

prune1.9s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 5.0b

localize56.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1 (+ (+ y x) t))
0.3b
(fma (+ y x) z (* t a))
0.8b
(fma y (- a b) (fma (+ y x) z (* t a)))
28.2b
(* (/ 1 (+ (+ y x) t)) (fma y (- a b) (fma (+ y x) z (* t a))))

rewrite271.0ms

Algorithm
rewrite-expression-head
Rules
60×*-un-lft-identity
32×times-frac
31×add-sqr-sqrt
24×add-cube-cbrt
21×associate-*l* distribute-lft-out
17×add-exp-log
11×add-cbrt-cube
7×pow1
5×associate-/r*
4×expm1-log1p-u div-exp prod-exp associate-/r/ fma-udef log1p-expm1-u add-log-exp
3×associate-*r* associate-/l* unswap-sqr
2×cbrt-undiv rec-exp flip3-+ 1-exp cbrt-unprod flip-+ div-inv
1×distribute-rgt-in pow-flip frac-2neg distribute-lft-in pow-prod-down associate-*l/ clear-num *-commutative inv-pow
Counts
4 → 110
Calls
4 calls:
80.0ms
(/ 1 (+ (+ y x) t))
1.0ms
(fma (+ y x) z (* t a))
1.0ms
(fma y (- a b) (fma (+ y x) z (* t a)))
181.0ms
(* (/ 1 (+ (+ y x) t)) (fma y (- a b) (fma (+ y x) z (* t a))))

series1.1s

Counts
4 → 12
Calls
4 calls:
134.0ms
(/ 1 (+ (+ y x) t))
107.0ms
(fma (+ y x) z (* t a))
241.0ms
(fma y (- a b) (fma (+ y x) z (* t a)))
636.0ms
(* (/ 1 (+ (+ y x) t)) (fma y (- a b) (fma (+ y x) z (* t a))))

simplify2.9s

Counts
122 → 122
Iterations
IterNodes
done5000
21059
1337
0141

prune1.1s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 5.0b

regimes2.0s

Accuracy

52.1% (11.4b remaining)

Error of 15.9b against oracle of 4.5b and baseline of 28.3b

bsearch200.0ms

Steps
ItersRangePoint
5
4.6270273276630435e+36
1.3200955816653194e+37
1.1954042188640718e+37
10
-2.004322987627678e+32
-1.2491691037104127e+22
-4.458722116149248e+31

simplify6.0ms

Iterations
IterNodes
done28
128
022

end0.0ms

sample3.0s

Algorithm
intervals
Results
2.3s7999×body80valid
0.0ms1×body640valid