Details

Time bar (total: 1.5m)

sample1.1s

Algorithm
intervals
Results
946.0ms794×body80nan
42.0ms287×body80valid

simplify21.6s

Counts
1 → 1
Iterations
IterNodes
done5001
53848
41283
3332
2107
139
020

prune60.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize164.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ (fma x (log y) z) t) (fma y i a))
0.0b
(+ (fma x (log y) z) t)
0.0b
(fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a)))
0.1b
(fma x (log y) z)

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
11×add-log-exp
7×fma-def
6×add-sqr-sqrt add-cube-cbrt
5×distribute-lft-out
4×pow1 add-exp-log expm1-log1p-u sum-log add-cbrt-cube fma-udef log1p-expm1-u
2×+-commutative associate-+l+ flip3-+ flip-+
1×associate-+r+
Counts
4 → 60
Calls
4 calls:
57.0ms
(+ (+ (fma x (log y) z) t) (fma y i a))
12.0ms
(+ (fma x (log y) z) t)
1.0ms
(fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a)))
1.0ms
(fma x (log y) z)

series3.7s

Counts
4 → 12
Calls
4 calls:
535.0ms
(+ (+ (fma x (log y) z) t) (fma y i a))
147.0ms
(+ (fma x (log y) z) t)
2.9s
(fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a)))
106.0ms
(fma x (log y) z)

simplify5.6s

Counts
72 → 72
Iterations
IterNodes
done5000
2920
1263
0110

prune2.2s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize66.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (fma (log y) x (+ z t)) (fma y i a))
0.0b
(fma (- b 0.5) (log c) (+ (fma (log y) x (+ z t)) (fma y i a)))
0.1b
(fma (log y) x (+ z t))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
6×*-un-lft-identity
5×add-log-exp
4×add-sqr-sqrt add-cube-cbrt fma-udef
3×pow1 add-exp-log expm1-log1p-u fma-def add-cbrt-cube log1p-expm1-u
1×+-commutative associate-+l+ associate-+r+ flip3-+ sum-log flip-+ distribute-lft-out
Counts
3 → 39
Calls
3 calls:
18.0ms
(+ (fma (log y) x (+ z t)) (fma y i a))
1.0ms
(fma (- b 0.5) (log c) (+ (fma (log y) x (+ z t)) (fma y i a)))
2.0ms
(fma (log y) x (+ z t))

series3.8s

Counts
3 → 9
Calls
3 calls:
815.0ms
(+ (fma (log y) x (+ z t)) (fma y i a))
2.7s
(fma (- b 0.5) (log c) (+ (fma (log y) x (+ z t)) (fma y i a)))
273.0ms
(fma (log y) x (+ z t))

simplify6.5s

Counts
48 → 48
Iterations
IterNodes
done5004
33038
2647
1180
085

prune989.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize97.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (fma x (log y) z))
0.5b
(cbrt (fma x (log y) z))
0.5b
(cbrt (fma x (log y) z))
0.5b
(* (cbrt (fma x (log y) z)) (cbrt (fma x (log y) z)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 81
Calls
4 calls:
2.0ms
(cbrt (fma x (log y) z))
2.0ms
(cbrt (fma x (log y) z))
2.0ms
(cbrt (fma x (log y) z))
23.0ms
(* (cbrt (fma x (log y) z)) (cbrt (fma x (log y) z)))

series2.1s

Counts
4 → 12
Calls
4 calls:
442.0ms
(cbrt (fma x (log y) z))
380.0ms
(cbrt (fma x (log y) z))
653.0ms
(cbrt (fma x (log y) z))
613.0ms
(* (cbrt (fma x (log y) z)) (cbrt (fma x (log y) z)))

simplify3.7s

Counts
93 → 93
Iterations
IterNodes
done5001
32744
2804
1288
0118

prune1.6s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize152.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a))))
0.5b
(cbrt (fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a))))
0.5b
(cbrt (fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a))))
0.5b
(* (cbrt (fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a)))) (cbrt (fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a)))))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 81
Calls
4 calls:
2.0ms
(cbrt (fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a))))
2.0ms
(cbrt (fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a))))
2.0ms
(cbrt (fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a))))
23.0ms
(* (cbrt (fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a)))) (cbrt (fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a)))))

series6.8s

Counts
4 → 12
Calls
4 calls:
1.2s
(cbrt (fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a))))
2.0s
(cbrt (fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a))))
2.0s
(cbrt (fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a))))
1.6s
(* (cbrt (fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a)))) (cbrt (fma (- b 0.5) (log c) (+ (+ (fma x (log y) z) t) (fma y i a)))))

simplify3.7s

Counts
93 → 93
Iterations
IterNodes
done5035
32281
2793
1321
0140

prune1.6s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes2.9s

Accuracy

0% (0.0b remaining)

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

bsearch8.0ms

simplify11.0ms

Iterations
IterNodes
done19
119
017

end5.0ms

sample20.8s

Algorithm
intervals
Results
11.6s27554×body80nan
5.3s9175×body80valid
1.0ms2×body640valid
0.0ms1×body160valid