Details

Time bar (total: 24.7s)

sample214.0ms

Algorithm
intervals
Results
112.0ms158×body1280valid
44.0ms111×body640valid
16.0ms64×body320valid
12.0ms146×body80valid
5.0ms28×body160valid

simplify2.0s

Counts
1 → 1
Iterations
IterNodes
done5000
51589
4280
390
239
118
010

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 45.3b

localize15.0ms

Local error

Found 2 expressions with local error:

0.2b
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
6.2b
(- (exp (- im)) (exp im))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
27×prod-diff
26×add-sqr-sqrt *-un-lft-identity
22×add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
7×pow1 add-cbrt-cube add-exp-log
5×associate-*r*
4×add-log-exp
3×sub-neg fma-neg pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u flip3-- associate-*r/ log1p-expm1-u flip-- distribute-lft-out-- difference-of-squares
1×diff-log associate-*l* *-commutative
Counts
2 → 74
Calls
2 calls:
73.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
39.0ms
(- (exp (- im)) (exp im))

series203.0ms

Counts
2 → 6
Calls
2 calls:
133.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
69.0ms
(- (exp (- im)) (exp im))

simplify2.0s

Counts
80 → 80
Iterations
IterNodes
done5001
22711
1408
0144

prune281.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.4b

localize21.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma 1/3 (pow im 3) (fma (pow im 5) 1/60 (+ im im)))
0.1b
(* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma (pow im 5) 1/60 (+ im im)))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
10×associate-*r*
7×pow1 add-cbrt-cube add-exp-log
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
3×distribute-lft-neg-in distribute-rgt-neg-in pow-prod-down prod-exp cbrt-unprod fma-udef
2×expm1-log1p-u distribute-neg-in log1p-expm1-u add-log-exp
1×distribute-rgt-in neg-mul-1 distribute-lft-in associate-*l* *-commutative distribute-rgt-neg-out
Counts
2 → 40
Calls
2 calls:
0.0ms
(fma 1/3 (pow im 3) (fma (pow im 5) 1/60 (+ im im)))
27.0ms
(* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma (pow im 5) 1/60 (+ im im)))))

series397.0ms

Counts
2 → 6
Calls
2 calls:
106.0ms
(fma 1/3 (pow im 3) (fma (pow im 5) 1/60 (+ im im)))
291.0ms
(* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma (pow im 5) 1/60 (+ im im)))))

simplify904.0ms

Counts
46 → 46
Iterations
IterNodes
done5000
21575
1274
098

prune410.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.3b

localize57.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (* 0.5 (sin re)) (* (pow im 3) -1/3)) (- (* (* 0.5 (sin re)) (fma (pow im 5) 1/60 (+ im im)))))
0.1b
(* (* 0.5 (sin re)) (* (pow im 3) -1/3))
0.1b
(* (* 0.5 (sin re)) (fma (pow im 5) 1/60 (+ im im)))
0.1b
(* (pow im 3) -1/3)

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
38×add-exp-log
24×prod-exp
23×add-cbrt-cube
16×add-sqr-sqrt
14×pow1 associate-*l*
12×cbrt-unprod
9×*-un-lft-identity add-cube-cbrt
8×add-log-exp
7×associate-*r*
6×pow-prod-down
4×expm1-log1p-u unpow-prod-down cube-prod fma-udef log1p-expm1-u unswap-sqr
3×pow-to-exp pow-exp *-commutative
2×distribute-rgt-in associate-+r+ distribute-neg-in sum-log distribute-lft-in sqr-pow
1×neg-sub0 cube-mult +-commutative associate-+r- fma-def distribute-rgt-neg-in flip3-+ unpow3 unsub-neg neg-log flip-+ distribute-lft-out
Counts
4 → 102
Calls
4 calls:
33.0ms
(+ (* (* 0.5 (sin re)) (* (pow im 3) -1/3)) (- (* (* 0.5 (sin re)) (fma (pow im 5) 1/60 (+ im im)))))
44.0ms
(* (* 0.5 (sin re)) (* (pow im 3) -1/3))
17.0ms
(* (* 0.5 (sin re)) (fma (pow im 5) 1/60 (+ im im)))
13.0ms
(* (pow im 3) -1/3)

series865.0ms

Counts
4 → 12
Calls
4 calls:
269.0ms
(+ (* (* 0.5 (sin re)) (* (pow im 3) -1/3)) (- (* (* 0.5 (sin re)) (fma (pow im 5) 1/60 (+ im im)))))
145.0ms
(* (* 0.5 (sin re)) (* (pow im 3) -1/3))
403.0ms
(* (* 0.5 (sin re)) (fma (pow im 5) 1/60 (+ im im)))
48.0ms
(* (pow im 3) -1/3)

simplify1.8s

Counts
114 → 114
Iterations
IterNodes
done5001
23347
1529
0182

prune678.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.3b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (* 0.5 (sin re)) (log (exp (* -1/3 (pow im 3))))) (- (* (* 0.5 (sin re)) (fma (pow im 5) 1/60 (+ im im)))))
0.1b
(* (* 0.5 (sin re)) (fma (pow im 5) 1/60 (+ im im)))
0.1b
(* -1/3 (pow im 3))
2.1b
(log (exp (* -1/3 (pow im 3))))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
15×associate-*r*
14×add-exp-log
12×*-un-lft-identity add-cube-cbrt
11×add-cbrt-cube
10×pow1
9×log-prod add-log-exp
6×associate-+l+ prod-exp
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u unpow-prod-down cube-prod associate-*l* cbrt-unprod fma-udef log1p-expm1-u unswap-sqr
3×pow-prod-down log-pow
2×associate-+r+ distribute-neg-in sum-log *-commutative sqr-pow
1×neg-sub0 cube-mult pow-to-exp +-commutative exp-prod associate-+r- fma-def distribute-rgt-neg-in flip3-+ exp-to-pow unpow3 rem-log-exp unsub-neg neg-log pow-exp flip-+ distribute-lft-out
Counts
4 → 98
Calls
4 calls:
20.0ms
(+ (* (* 0.5 (sin re)) (log (exp (* -1/3 (pow im 3))))) (- (* (* 0.5 (sin re)) (fma (pow im 5) 1/60 (+ im im)))))
30.0ms
(* (* 0.5 (sin re)) (fma (pow im 5) 1/60 (+ im im)))
19.0ms
(* -1/3 (pow im 3))
3.0ms
(log (exp (* -1/3 (pow im 3))))

series803.0ms

Counts
4 → 12
Calls
4 calls:
305.0ms
(+ (* (* 0.5 (sin re)) (log (exp (* -1/3 (pow im 3))))) (- (* (* 0.5 (sin re)) (fma (pow im 5) 1/60 (+ im im)))))
400.0ms
(* (* 0.5 (sin re)) (fma (pow im 5) 1/60 (+ im im)))
42.0ms
(* -1/3 (pow im 3))
56.0ms
(log (exp (* -1/3 (pow im 3))))

simplify2.8s

Counts
110 → 110
Iterations
IterNodes
done5000
22799
1510
0185

prune866.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.3b

regimes766.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
done37
237
129
020

end0.0ms

sample9.2s

Algorithm
intervals
Results
4.4s4811×body1280valid
1.8s3788×body640valid
1.5s4494×body80valid
693.0ms1881×body320valid
199.0ms905×body160valid